Optimal. Leaf size=106 \[ \frac {21553 x}{2654208}+\frac {11215 \text {ArcTan}\left (\frac {\sin (c+d x)}{3+\cos (c+d x)}\right )}{1327104 d}-\frac {25 \tan (c+d x)}{144 d (3+5 \sec (c+d x))^3}-\frac {25 \tan (c+d x)}{4608 d (3+5 \sec (c+d x))^2}-\frac {16925 \tan (c+d x)}{221184 d (3+5 \sec (c+d x))} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.11, antiderivative size = 106, normalized size of antiderivative = 1.00, number of steps
used = 6, number of rules used = 5, integrand size = 12, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.417, Rules used = {3870, 4145,
4004, 3916, 2736} \begin {gather*} \frac {11215 \text {ArcTan}\left (\frac {\sin (c+d x)}{\cos (c+d x)+3}\right )}{1327104 d}-\frac {16925 \tan (c+d x)}{221184 d (5 \sec (c+d x)+3)}-\frac {25 \tan (c+d x)}{4608 d (5 \sec (c+d x)+3)^2}-\frac {25 \tan (c+d x)}{144 d (5 \sec (c+d x)+3)^3}+\frac {21553 x}{2654208} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 2736
Rule 3870
Rule 3916
Rule 4004
Rule 4145
Rubi steps
\begin {align*} \int \frac {1}{(3+5 \sec (c+d x))^4} \, dx &=-\frac {25 \tan (c+d x)}{144 d (3+5 \sec (c+d x))^3}+\frac {1}{144} \int \frac {48+45 \sec (c+d x)-50 \sec ^2(c+d x)}{(3+5 \sec (c+d x))^3} \, dx\\ &=-\frac {25 \tan (c+d x)}{144 d (3+5 \sec (c+d x))^3}-\frac {25 \tan (c+d x)}{4608 d (3+5 \sec (c+d x))^2}+\frac {\int \frac {1536-870 \sec (c+d x)-75 \sec ^2(c+d x)}{(3+5 \sec (c+d x))^2} \, dx}{13824}\\ &=-\frac {25 \tan (c+d x)}{144 d (3+5 \sec (c+d x))^3}-\frac {25 \tan (c+d x)}{4608 d (3+5 \sec (c+d x))^2}-\frac {16925 \tan (c+d x)}{221184 d (3+5 \sec (c+d x))}+\frac {\int \frac {24576+29745 \sec (c+d x)}{3+5 \sec (c+d x)} \, dx}{663552}\\ &=\frac {x}{81}-\frac {25 \tan (c+d x)}{144 d (3+5 \sec (c+d x))^3}-\frac {25 \tan (c+d x)}{4608 d (3+5 \sec (c+d x))^2}-\frac {16925 \tan (c+d x)}{221184 d (3+5 \sec (c+d x))}-\frac {11215 \int \frac {\sec (c+d x)}{3+5 \sec (c+d x)} \, dx}{663552}\\ &=\frac {x}{81}-\frac {25 \tan (c+d x)}{144 d (3+5 \sec (c+d x))^3}-\frac {25 \tan (c+d x)}{4608 d (3+5 \sec (c+d x))^2}-\frac {16925 \tan (c+d x)}{221184 d (3+5 \sec (c+d x))}-\frac {2243 \int \frac {1}{1+\frac {3}{5} \cos (c+d x)} \, dx}{663552}\\ &=\frac {21553 x}{2654208}+\frac {11215 \tan ^{-1}\left (\frac {\sin (c+d x)}{3+\cos (c+d x)}\right )}{1327104 d}-\frac {25 \tan (c+d x)}{144 d (3+5 \sec (c+d x))^3}-\frac {25 \tan (c+d x)}{4608 d (3+5 \sec (c+d x))^2}-\frac {16925 \tan (c+d x)}{221184 d (3+5 \sec (c+d x))}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.56, size = 141, normalized size = 1.33 \begin {gather*} \frac {6307840 c+6307840 d x+8036352 (c+d x) \cos (c+d x)+22430 \text {ArcTan}\left (2 \cot \left (\frac {1}{2} (c+d x)\right )\right ) (5+3 \cos (c+d x))^3+2211840 c \cos (2 (c+d x))+2211840 d x \cos (2 (c+d x))+221184 c \cos (3 (c+d x))+221184 d x \cos (3 (c+d x))-5660475 \sin (c+d x)-3082500 \sin (2 (c+d x))-582975 \sin (3 (c+d x))}{2654208 d (5+3 \cos (c+d x))^3} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.09, size = 87, normalized size = 0.82
method | result | size |
derivativedivides | \(\frac {\frac {2 \arctan \left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )\right )}{81}+\frac {-\frac {25925 \left (\tan ^{5}\left (\frac {d x}{2}+\frac {c}{2}\right )\right )}{221184}-\frac {3575 \left (\tan ^{3}\left (\frac {d x}{2}+\frac {c}{2}\right )\right )}{6912}-\frac {17675 \tan \left (\frac {d x}{2}+\frac {c}{2}\right )}{13824}}{\left (\tan ^{2}\left (\frac {d x}{2}+\frac {c}{2}\right )+4\right )^{3}}-\frac {11215 \arctan \left (\frac {\tan \left (\frac {d x}{2}+\frac {c}{2}\right )}{2}\right )}{1327104}}{d}\) | \(87\) |
default | \(\frac {\frac {2 \arctan \left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )\right )}{81}+\frac {-\frac {25925 \left (\tan ^{5}\left (\frac {d x}{2}+\frac {c}{2}\right )\right )}{221184}-\frac {3575 \left (\tan ^{3}\left (\frac {d x}{2}+\frac {c}{2}\right )\right )}{6912}-\frac {17675 \tan \left (\frac {d x}{2}+\frac {c}{2}\right )}{13824}}{\left (\tan ^{2}\left (\frac {d x}{2}+\frac {c}{2}\right )+4\right )^{3}}-\frac {11215 \arctan \left (\frac {\tan \left (\frac {d x}{2}+\frac {c}{2}\right )}{2}\right )}{1327104}}{d}\) | \(87\) |
risch | \(\frac {x}{81}-\frac {25 i \left (164835 \,{\mathrm e}^{5 i \left (d x +c \right )}+931257 \,{\mathrm e}^{4 i \left (d x +c \right )}+1995070 \,{\mathrm e}^{3 i \left (d x +c \right )}+1610514 \,{\mathrm e}^{2 i \left (d x +c \right )}+534735 \,{\mathrm e}^{i \left (d x +c \right )}+69957\right )}{995328 d \left (3 \,{\mathrm e}^{2 i \left (d x +c \right )}+10 \,{\mathrm e}^{i \left (d x +c \right )}+3\right )^{3}}+\frac {11215 i \ln \left ({\mathrm e}^{i \left (d x +c \right )}+\frac {1}{3}\right )}{2654208 d}-\frac {11215 i \ln \left ({\mathrm e}^{i \left (d x +c \right )}+3\right )}{2654208 d}\) | \(130\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.49, size = 171, normalized size = 1.61 \begin {gather*} -\frac {\frac {150 \, {\left (\frac {11312 \, \sin \left (d x + c\right )}{\cos \left (d x + c\right ) + 1} + \frac {4576 \, \sin \left (d x + c\right )^{3}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{3}} + \frac {1037 \, \sin \left (d x + c\right )^{5}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{5}}\right )}}{\frac {48 \, \sin \left (d x + c\right )^{2}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{2}} + \frac {12 \, \sin \left (d x + c\right )^{4}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{4}} + \frac {\sin \left (d x + c\right )^{6}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{6}} + 64} - 32768 \, \arctan \left (\frac {\sin \left (d x + c\right )}{\cos \left (d x + c\right ) + 1}\right ) + 11215 \, \arctan \left (\frac {\sin \left (d x + c\right )}{2 \, {\left (\cos \left (d x + c\right ) + 1\right )}}\right )}{1327104 \, d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 3.72, size = 159, normalized size = 1.50 \begin {gather*} \frac {884736 \, d x \cos \left (d x + c\right )^{3} + 4423680 \, d x \cos \left (d x + c\right )^{2} + 7372800 \, d x \cos \left (d x + c\right ) + 4096000 \, d x + 11215 \, {\left (27 \, \cos \left (d x + c\right )^{3} + 135 \, \cos \left (d x + c\right )^{2} + 225 \, \cos \left (d x + c\right ) + 125\right )} \arctan \left (\frac {5 \, \cos \left (d x + c\right ) + 3}{4 \, \sin \left (d x + c\right )}\right ) - 300 \, {\left (7773 \, \cos \left (d x + c\right )^{2} + 20550 \, \cos \left (d x + c\right ) + 16925\right )} \sin \left (d x + c\right )}{2654208 \, {\left (27 \, d \cos \left (d x + c\right )^{3} + 135 \, d \cos \left (d x + c\right )^{2} + 225 \, d \cos \left (d x + c\right ) + 125 \, d\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {1}{\left (5 \sec {\left (c + d x \right )} + 3\right )^{4}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.44, size = 88, normalized size = 0.83 \begin {gather*} \frac {21553 \, d x + 21553 \, c - \frac {300 \, {\left (1037 \, \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )^{5} + 4576 \, \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )^{3} + 11312 \, \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )\right )}}{{\left (\tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )^{2} + 4\right )}^{3}} + 22430 \, \arctan \left (\frac {\sin \left (d x + c\right )}{\cos \left (d x + c\right ) + 3}\right )}{2654208 \, d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 1.09, size = 105, normalized size = 0.99 \begin {gather*} \frac {x}{81}-\frac {11215\,\mathrm {atan}\left (\frac {\mathrm {tan}\left (\frac {c}{2}+\frac {d\,x}{2}\right )}{2}\right )}{1327104\,d}-\frac {\frac {25925\,{\mathrm {tan}\left (\frac {c}{2}+\frac {d\,x}{2}\right )}^5}{221184}+\frac {3575\,{\mathrm {tan}\left (\frac {c}{2}+\frac {d\,x}{2}\right )}^3}{6912}+\frac {17675\,\mathrm {tan}\left (\frac {c}{2}+\frac {d\,x}{2}\right )}{13824}}{d\,\left ({\mathrm {tan}\left (\frac {c}{2}+\frac {d\,x}{2}\right )}^6+12\,{\mathrm {tan}\left (\frac {c}{2}+\frac {d\,x}{2}\right )}^4+48\,{\mathrm {tan}\left (\frac {c}{2}+\frac {d\,x}{2}\right )}^2+64\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________